#include "syscall.h"

/* 
	getInt test file:
	Reads an integer from the input source,
	and prints it on the output source.
*/

int main() {
  int n = GetInt();
  PutInt(n);
  PutChar('\n');
  return 0;
}